﻿using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.Linq;
using System.Text;

namespace GIMS.Def.Interfaces
{
    [ContractClassFor(typeof(IScriptPart))]
    public abstract class IScriptPartContract : IScriptPart
    {
        public string CreateScriptPart()
        {
            //settings return "" when inactive -> return string can be empty
            Contract.Ensures(Contract.Result<string>() != null);
            return default(string); // dummy return
        }
    }
}
